w{-}val($w$; $a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$2of(outr($a$))